AC-KBO Revisited

Derivational Complexity of Knuth-Bendix Orders Revisited

We study the derivational complexity of rewrite systems R compatible with KBO, if the signature of R is in nite. We show that the known bounds on the derivation height are preserved, if R ful ls some mild conditions. This allows us to obtain bounds on the derivational height of non simply terminating TRSs. Furthermore, we re-establish the 2-recursive upper-bound on the derivational complexity o...

Partial Status for KBO

We propose an extension of the Knuth-Bendix order (KBO) called KBO with partial status. A standard status indicates permutation of arguments to each function symbol, but we extend them to allow some arguments to be ignored. This idea is similar to the argument filtering, but benefits of these methods are independent and hence can be combined. In addition, we introduce further refinements of KBO...

Pluto’s Atmosphere and a Targeted-occultation Search for Other Bound Kbo Atmospheres

Processes relevant to Pluto’s atmosphere are discussed, and our current knowledge is summarized, including results of two stellar occultations by Pluto that were observed in 2002. The question of whether other Kuiper belt objects (KBOs) may have bound atmospheres is considered, and observational indicators for KBO atmospheres are described. The definitive detection of a KBO atmosphere could be ...

M ay 2 00 3 KBO binaries : are they really primordial ?

Occultation Searches for Kuiper Belt Objects

The occultation of background stellar sources by foreground Kuiper Belt Objects (KBOs) can be used to survey physical properties of the KBO population. We discuss statistics related to a KBO occultation survey, such as the event duration distribution, and suggest that occultation searches can be effectively used to probe the KBO size distribution below 10 km. In particular, we suggest that occu...